problems with x12ex61 produced by a Bug
also need to check

x12ex71
x12ex81
x12ts3
